Psmc4<tm1Aki> MGI:2180553 http://identifiers.org/mgd/MGI:2180553 Psmc4<-> targeted mutation 1, Shizuo Akira Null/knockout